This papers aims to analyse sentences of a self-referential language containing a truth-predicate by means of a Smullyan-style tableau system. Our analysis covers three variants of Kripke's partial-model semantics (strong and weak Kleene's and supervaluational) and three variants of the revision theory of truth (Belnap's, Gupta's and Herzberger's).

§1. Introduction. The problem raised by the liar paradox has long been an intriguing challenge for all those interested in the concept of truth. Many “solutions” have been proposed to solve or avoid the paradox, either prescribing some linguistical restriction, or giving up the classical true-false bivalence or assuming some kind of contextual dependence of truth, among other possibilities. We shall not discuss these different approaches to the subject in this paper, but we shall concentrate on a kind of formal (...) construction which was originated by Kripke's paper “Outline of a theory of truth” [11] and which, in different forms, reappears in later papers by various authors.The main idea can be presented as follows: assume a first order language ℒ containing, among other unspecified symbols, a predicate symbolTintended to represent the truth predicate for ℒ. Assume, also, a fixed modelM= 〈D, I〉 whereDcontains all sentences of ℒ andIinterprets all non-logical symbols of ℒ exceptTin the usual way. In general,Dmight contain many objects other than sentences of ℒ but as that would raise the problem of the meaning of sentences in whichTis applied to one of these objects, we shall assume that this is not the case. (shrink)

This paper aims to argue for two related statements: first, that formal semantics should not be conceived of as interpreting natural language expressions in a single model (a very large one representing the world as a whole, or something like that) but as interpreting them in many different models (formal counterparts, say, of little fragments of reality); second, that accepting such a conception of formal semantics yields a better comprehension of the relation between semantics and pragmatics and of the role (...) to be played by formal semantics in the general enterprise of understanding meaning. For this purpose, three kinds of arguments are given: firstly, empirical arguments showing that the many models approach is the most straightforward and natural way of giving a formal counterpart to natural language sentences. Secondly, logical arguments proving the logical impossibility of a single universal model. And thirdly, theoretical arguments to the effect that such a conception of formal semantics fits in a natural and fruitful way with pragmatic theories and facts. In passing, this conception will be shown to cast some new light on the old problems raised by liar and sorites paradoxes. (shrink)

This papers aims to analyse sentences of a self-referential language containing a truth-predicate by means of a Smullyan-style tableau system. Our analysis covers three variants of Kripke's partial-model semantics (strong and weak Kleene's and supervaluational) and three variants of the revision theory of truth (Belnap's, Gupta's and Herzberger's).

Resumen: Este artículo tiene como foco de estudio la fonología segmental del mapudungun, en general, y el estatus de los fonos interdentales /en el chedungun hablado en Alto Biobío, en particular. Se elicitó una lista léxica adaptada de Croese, 30 colaboradores adultos, bilingües de chedungun y español, pertenecientes a 10 localidades pehuenches de esta comuna. Mediante evidencia cuantitativa, visual, palatográfica y de contraste en ambiente análogo, se concluye que dichos fonos tienen estatus fonémico en la zona señalada.: This article focuses (...) on the Mapudungún segmental phonology in general, and the status of the interdental phones / from the Chedungun spoken in Alto Biobío in particular. An adapted lexicon list by Croese was elicited from 30 adult bilingual assistants, belonging to 10 towns of this community. Through the quantitative, visual, palatographic and analog environment contrast we concluded that those phones have phonemic status in the mentioned area. (shrink)

The author means to show how focusing on the sense of hearing can sharpen our understanding of Kierkegaard’s argument – in the first portion of Either/Or – that Don Giovanni ranks supreme among works of art. After explaining how he takes Kierkegaard’s case to rest on the issue of the ear being the “most spiritually qualified sense,” he shows how attending to the importance of hearing within the original Don Juan myth, as well as within Mozart and Da Ponte’s (...) treatment of it, can help us understand the myth’s dependence on and repudiation of Christianity: unlike sight, hearing places us in close spiritual intimacy with its source, even as it also opens up specific possibilities of theatricality and deceit. He concludes by arguing why hearing should be regarded as the paradigmatic sense in relation to which Kierkegaard understands the task of philosophy itself, in contrast to earlier philosophical emphases on visible intelligibility. (shrink)

In this book, I present the results of an investigation which began with an extended stay at Oxford's Balliol College during the first half of 1995. My visit to Oxford was made possible by a grant from the Spanish Ministerio de Educaci6n y Ciencia. My sincere thanks go to Joseph Raz who served as my supervisor in Oxford. For several points of the present study, conversations with Timothy Endicott in Oxford were also of great help. The book is part of (...) a larger project of investigation, directed by Albert Calsami glia, which is a joint effort of a group of legal philosophers from the Universitat Pom peu Fabra and the Universitat de Girona, and which also receives financial support from the Spanish Ministerio de Educaci6n y Ciencia. An earlier version of the manuscript was presented in June 1996 to the selection committee for a tenured professorship in Legal Philosophy at the Universitat de Girona. The members of the committee were Francisco Laporta, Albert Calsamiglia, Gregorio Peces-Barba, Camilo J. Cela Conde, and Francesca Puigpelat. I am grateful to all of them for their comments, which have been extremely useful in preparing the final ver sion of this book. (shrink)

Este artículo reseña: Carlos Ramón Fernández Liesa, Juan Daniel Oliva Martínez, y Oscar Pérez de la Fuente (eds.), Soberanía, Colección Gregorio Peces-Barba, Dykinson, Madrid, 2022, 172 pp.

The main objective of this paper is to address the problem of the philosophical method, which consists of the lack of consensus among philosophers regarding the proper procedure to carry out this human activity. In this sense, it examines a few methodological proposals put forward by some representatives of contemporary philosophy, emphasizing the impact that the development of modern science has had on such views. In addition, the plausibility of such proposals is assessed.

Este trabajo tiene como objetivo examinar críticamente la discusión en torno a la identidad nacional panameña denominado el problema de lo panameño, particularmente aquellas perspectivas propuestas por filósofos profesionales, así como determinar su alcance y revisitar sus presupuestos. Con ello en mente, intentaremos contextualizar hasta donde sea posible dicha discusión, buscando poner de relieve los factores históricos que la motivan, además de evaluar la vigencia de esta.

In this paper it is explored the relationship between the practice of philosophy and the development of a sort of professional intuition through it. That is to say, this paper is broadly concerned with a very traditional metaphilosophical topic, namely, the sort of abilities a skillful philosopher must possess to excel at philosophizing. More precisely, it critically examines the long-held common place in philosophy according to which the competences acquired through philosophical training are related to applying concepts. Such a view (...) has given way to the idea that philosophers gain expert intuitions -provided by philosophical training- about using concepts. In this sense, it has been shown in experimental philosophy that philosophers holding this notion of the practice of philosophy might be under the illusion of expertise. For these reasons, we argue, based on the work of the psychologist Deanna Kuhn, that philosophical expertise, on a more positive account, might be related to the evaluation, construction, and rebuttal of arguments. With this in mind, we also explore the relationship between intuition and arguments in philosophy. (shrink)

Este trabajo tiene como objetivo principal examinar y determinar las consecuencias de las metáforas contenidas en las obras de Diego Domínguez Caballero, fundador de la filosofía académica panameña. Tales metáforas se volvieron fundamentales para el desarrollo discursivo de la filosofía panameña y también para las ciencias sociales en el país, como la historia y la sociología. Con este fin, recurriremos a la teoría de las metáforas conceptuales desarrollada por Lakoff y otros como una herramienta de ayuda para analizar las que (...) Domínguez emplea. Del mismo modo, intentamos dar cuenta de la larga incidencia discursiva de dichas metáforas a la luz de los resultados de la investigación psicológica sobre el esencialismo. -/- The main objective of this work is to examine and determine the consequences of the metaphors contained in the works of Diego Domínguez Caballero, founder of Panamanian academic philosophy. Such metaphors became fundamental for the discursive development of Panamanian philosophy and also for the social sciences in this country, as history and sociology. To this end, we will turn to the theory of conceptual metaphors developed by Lakoff and others as a helpful tool in analyzing the ones used by Domínguez. In the same way, we try to account for the long discursive incidence of these metaphors in the light of the results of psychological research on essentialism. (shrink)

The use of black box algorithms in medicine has raised scholarly concerns due to their opaqueness and lack of trustworthiness. Concerns about potential bias, accountability and responsibility, patient autonomy and compromised trust transpire with black box algorithms. These worries connect epistemic concerns with normative issues. In this paper, we outline that black box algorithms are less problematic for epistemic reasons than many scholars seem to believe. By outlining that more transparency in algorithms is not always necessary, and by explaining that (...) computational processes are indeed methodologically opaque to humans, we argue that the reliability of algorithms provides reasons for trusting the outcomes of medical artificial intelligence. To this end, we explain how computational reliabilism, which does not require transparency and supports the reliability of algorithms, justifies the belief that results of medical AI are to be trusted. We also argue that several ethical concerns remain with black box algorithms, even when the results are trustworthy. Having justified knowledge from reliable indicators is, therefore, necessary but not sufficient for normatively justifying physicians to act. This means that deliberation about the results of reliable algorithms is required to find out what is a desirable action. Thus understood, we argue that such challenges should not dismiss the use of black box algorithms altogether but should inform the way in which these algorithms are designed and implemented. When physicians are trained to acquire the necessary skills and expertise, and collaborate with medical informatics and data scientists, black box algorithms can contribute to improving medical care. (shrink)

Most theories and models of memory are based on two assumptions that contain theoretical problems. These problems are reflected in the memory-trace paradox, which consists in believing that the past is contained in the memory trace, and in the fallacy of the homunculus, which consists in assuming the existence of an unconscious intentional subject. We will discuss these and present an alternative hypothesis concerning the relationship between memory, consciousness and temporality. This holds that consciousness is not a unitary dimension, but (...) is the set of distinct and original modes to address the object. Among the modes of consciousness, a distinction is made between Knowing Consciousness (KC) and Temporal Consciousness (TC). KC describes the mode of addressing the object in order to know it. TC describes the mode of consciousness that temporalizes its object according the subordinate structures of temporality, the past, the present and the future. Finally it is shown how the hypothesis accounts for a variety of memory disorders and phenomena while avoiding the memory- trace paradox and the fallacy of the homunculus. (shrink)

Is mental imagery pictorial? In Pylyshyn's view no empirical data provides convincing support to the “pictorial” hypothesis of mental imagery. Phenomenology, Pylyshyn says, is deeply deceiving and offers no explanation of why and how mental imagery occurs. We suggest that Pylyshyn mistakes phenomenology for what it never pretended to be. Phenomenological evidence, if properly considered, shows that mental imagery may indeed be pictorial, though not in the way that mimics visual perception. Moreover, Pylyshyn claims that the “pictorial hypothesis” is flawed (...) because the interpretation of “picture-like” objects in mental imagery takes a homunculus. However, the same point can be objected to Pylyshyn's own conclusion: if imagistic reasoning involves the same mechanisms and the same forms of representation as those that are involved in general reasoning, if they operate on symbol-based representations of the kind recommended by Pylyshyn (1984) and Fodor (1975), don't we need a phenomenological homunculus to tell an imagined bear from the real one? (shrink)

A ideia central desse estudo é que a tragédia em Hegel, mesmo que apresenta uma certa novidade sobre a estrutura dialética da ação trágica, ainda está vinculada com a teoria aristotélica apontada na Poética, porque trata sistematicamente dos três elementos qualitativos do trágico. A primeira fase do estudo caracteriza os três elementos da ação trágica em Aristóteles: mito, caráter e pensamento. A segunda fase demonstra o conteúdo da ação trágica na Estética de Hegel. Mas, é preciso estabelecer que Hegel segue (...) Aristóteles não apenas numa análise abstrata, mas também no desenvolvimento concreto da ação trágica. Assim, a terceira fase analisa a função dos três elementos qualitativos da ação trágica em Antígona na Fenomenologia do Espírito. Embora, não é novidade que Hegel utiliza muito das obras de Aristóteles, até agora não foi encontrada uma explicação razoável pela literatura crítica sobre a análise hegeliana da teoria aristotélica da ação trágica. (shrink)

Under what conditions is a group belief resulting from deliberation constitutive of group knowledge? What kinds of competences must a deliberating group manifest when settling a question so that the resulting collective belief can be considered group knowledge? In this paper, we provide an answer to the second question that helps make progress on the first question. In particular, we explain the epistemic normativity of deliberation-based group belief in terms of a truth norm and an evidential norm, introduce a virtue-reliabilist (...) condition on deliberative group knowledge, and provide an account and a taxonomy of the types of group competences that are necessary for this type of collective knowledge. (shrink)

The general objective of this essay is to systematize Jean-Luc Nancy’s post- deconstructive reflections on the concept of evidence. A general claim of this paper is that the post-deconstructive concept of evidence is genuinely an epistemic concept of evidence insofar as it refers to structures involved in verification processes. Evidence is the presentation of a state of affairs that relates the presentation not only to what we claim about this state of affairs but also to the singular circumstances of its (...) production. Verification (the production of a claim’s truth) results directly from the singularities involved in the production or presentation of evidence. This means that evidence is never exhausted in the truth it produces or the knowledge it validates but remains a priori exposed or available to produce and validate unknown knowledge about unknown states of affairs. (shrink)

This article aims to develop a new account of scientific explanation for computer simulations. To this end, two questions are answered: what is the explanatory relation for computer simulations? And what kind of epistemic gain should be expected? For several reasons tailored to the benefits and needs of computer simulations, these questions are better answered within the unificationist model of scientific explanation. Unlike previous efforts in the literature, I submit that the explanatory relation is between the simulation model and the (...) results of the simulation. I also argue that our epistemic gain goes beyond the unificationist account, encompassing a practical dimension as well. (shrink)

v. 1. El tiempo histórico de Mario Hernández Sánchez-Barba -- v. 2. Generaciones y mentalidades. Estudios de teoría de la Historia.

O objetivo deste artigo é apresentar os elementos da relação entre Filosofia da Tecnologia e Ética Contemporânea a partir do pensamento de Hans Jonas, bem como sua aplicação ao problema ecológico que enfrentamos em nossos dias. Destacamos como Hans Jonas desenvolve uma consistente argumentação a respeito do avanço tecnológico, do decorrente aumento do poder de nossas ações e, consequentemente, da necessidade de uma nova ética voltada para o futuro capaz de lidar com essa inédita conjuntura. Também fazemos explanação das noções (...) estruturais da Ética da Responsabilidade proposta por Jonas e suas implicações diretas no tema ambiental. (shrink)

. 1. Introduĉão histórica ao pensamento jurídico, épocas medieval e moderna --.

Many philosophical accounts of scientific models fail to distinguish between a simulation model and other forms of models. This failure is unfortunate because there are important differences pertaining to their methodology and epistemology that favor their philosophical understanding. The core claim presented here is that simulation models are rich and complex units of analysis in their own right, that they depart from known forms of scientific models in significant ways, and that a proper understanding of the type of model simulations (...) are fundamental for their philosophical assessment. I argue that simulation models can be distinguished from other forms of models by the many algorithmic structures, representation relations, and new semantic connections involved in their architecture. In this article, I reconstruct a general architecture for a simulation model, one that faithfully captures the complexities involved in most scientific research with computer simulations. Furthermore, I submit that a new methodology capable of conforming such architecture into a fully functional, computationally tractable computer simulation must be in place. I discuss this methodology—what I call recasting—and argue for its philosophical novelty. If these efforts are heading towards the right interpretation of simulation models, then one can show that computer simulations shed new light on the philosophy of science. To illustrate the potential of my interpretation of simulation models, I briefly discuss simulation-based explanations as a novel approach to questions about scientific explanation. (shrink)

Does self-control require willpower? The question cuts to the heart of a debate about whether self-control is identical with some psychological process internal to the agents or not. Noticeably absent from these debates is systematic evidence about the folk-psychological category of self-control. Here, we present the results of two behavioral studies (N = 296) that indicate the structure of everyday use of the concept. In Study 1, participants rated the degree to which different strategies to respond to motivational conflict exemplify (...) self-control. Participants distinguished between intra-psychic and externally-scaffolded strategies and judged that the former exemplified self-control more than the latter. In Study 2, participants provided various solutions to manage motivational conflict and rated their proposals on effectiveness. Participants produced substantially more intra-psychic strategies, rated them as more effective, and advised them at a higher rate than externally-scaffolded strategies. Taken together, these results suggest that while people recognize a plurality of strategies as genuine instances of self-control, purely internal exercises of self-control are considered more prototypical than their externally-scaffolded counterparts. This implies a hierarchical structure for the folk psychological category of self-control. The concept encompasses a variety of regulatory strategies and organizes these strategies along a hierarchical continuum, with purely intra-psychic strategies at the center and scaffolded strategies in the periphery. (shrink)

From our everyday commuting to the gold medalist’s world-class performance, skillful actions are characterized by fine-grained, online agentive control. What is the proper explanation of such control? There are two traditional candidates: intellectualism explains skillful agentive control by reference to the agent’s propositional mental states; anti-intellectualism holds that propositional mental states or reflective processes are unnecessary since skillful action is fully accounted for by automatic coping processes. I examine the evidence for three psychological phenomena recently held to support anti-intellectualism and (...) argue that it supports neither traditional candidate, but an intermediate attention-control account, according to which the top-down, intention-directed control of attention is a necessary component of skillful action. Only this account recognizes both the role of automatic control in skilled action and the need for higher-order cognition to thread automatic processes together into a unified, skillful performance. This applies to bodily skillful action in general, from the world-class performance of experts to mundane, habitual action. The attention-control account stresses that, for intentions to play their role as top-down modulators of attention, agents must sustain the intention’s activation; hence, the need for reflecting throughout performance. (shrink)